Effects Without Monads: Non-determinism – Back to the Meta Language

From Monads to Effects and Back

The combination of monads and effects leads to a clean and easy to reason programming paradigm. Monadic programming is easy to reason, but can be cumbersome, as it requires explicit lifting and binding. In this paper, we combine monads and effects within a single programming paradigm: we use monads to define the semantics of effect types, and then, use the effects to program with those monads. ...

From Determinism to Non-determinism in Recognizable Two-Dimensional Languages

Tiling systems that recognize two-dimensional languages are intrinsically non-deterministic models. We introduce the notion of deterministic tiling system that generalizes deterministic automata for strings. The corresponding family of languages matches all the requirements of a robust deterministic class. Furthermore we show that, differently from the one-dimensional case, there exist many cla...

Non-determinism Analysis in a Parallel-Functional Language

The paper presents several analyses to detect non-determin-istic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and then each one is presented. The rst one is type-based, while the other two are based on abstract interpretation. Their power and eeciency is discussed, and an example is used to illustrate the diierences. Two interesting functi...

Correctness of Non-determinism Analyses in a Parallel-Functional Language

Monads for natural language semantics

Accounts of semantic phenomena often involve extending types of meanings and revising composition rules at the same time. The concept of monads allows many such accounts—for intensionality, variable binding, quantification and focus—to be stated uniformly and compositionally.